First Alfa LerNet meeting Braga, 13 16 June 2005 Participants Alberto Pardo, pardo #64;fing.edu.uy, U. de la República (Montevideo), Uruguay Roberto Uzal ...
Logic and Formal Methods The group on Logic and Formal Methods (Lógica e Métodos Formais) is part of the Center for Computing Sciences and Technologies (Centro de ...
Luis Pedro email 1: lpmbv at netcabo /dot pt email 2: pedromorais at alfa /dot di /dot uminho /dot pt email 3: luispedro /dot valerio at gmail.com url: Luis Pedro ...